Home > Search Results: keywords:"SMT|visualization|solvers|comparison|web application"
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 1 records found  Search took 0.01 seconds. 
Visualization of SMT solvers results
 Bobeničová, Michaela ; Kofroň, Jan (advisor) ; Parízek, Pavel (referee)
Nowadays, SMT solvers are used for solving various problems in multiple fields. Therefore, it makes sense to optimize their speed depending on the size and type of the problems. However, going over and comparing results in tables containing information of the runs of the solvers is impractical. The goal of this thesis is creating a graphical interface for simplifying the analysis of the performance of the solvers. It has a form of a web application. It allows a solver developer to compare performance of multiple solvers on given problem sets. The interface contains visualizations of the performance in the form of interactive plots and tables.
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English